Walter A. Carnielli: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

On paraconsistent deontic logic

Newton C. A. Da Costa, Walter A. Carnielli

Journal:

Year:

1986

Language:

english

File:

PDF, 543 KB

english, 1986

2

Society semantics and the logic way to collective intelligence

Carnielli, Walter, Lima-Marques, Mamede

Journal:

Journal of Applied Non-Classical Logics

Year:

2018

Language:

english

File:

PDF, 1.37 MB

english, 2018

3

The Significance of the New Logic || Identity and Existence

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 181 KB

2018

4

The Significance of the New Logic || Class, Relation, and Number

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 264 KB

2018

5

[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Paraconsistent Set Theory

Carnielli, Walter, Coniglio, Marcelo Esteban

Year:

2016

Language:

english

File:

PDF, 234 KB

english, 2016

6

Anti-intuitionism and paraconsistency

Andreas B.M. Brunner, Walter A. Carnielli

Journal:

Journal of Applied Logic

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

7

The Significance of the New Logic || The Theory of Composition

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 281 KB

2018

8

The Significance of the New Logic || Theory of Quantification

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 235 KB

2018

9

Kripke-Style Models for Logics of Evidence and Truth

Antunes, Henrique, Carnielli, Walter, Kapsner, Andreas, Rodrigues, Abilio

Journal:

Year:

2020

File:

PDF, 342 KB

2020

10

The Significance of the New Logic || Appendix: The United States and the Revival of Logic

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 111 KB

2018

11

ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY

CARNIELLI, WALTER, CONIGLIO, MARCELO E., PODIACKI, RODRIGO, RODRIGUES, TARCÍSIO

Journal:

The Review of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 212 KB

english, 2014

12

The Significance of the New Logic || Preface to the First Edition

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 46 KB

2018

13

The Significance of the New Logic || Preface to the Second Edition

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 46 KB

2018

14

The Significance of the New Logic || Introduction

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 85 KB

2018

15

The Significance of the New Logic || Bibliography

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 57 KB

2018

16

Maximal weakly-intuitionistic logics

A. M. Sette, Walter A. Carnielli

Journal:

Year:

1995

Language:

english

File:

PDF, 1017 KB

english, 1995

17

[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 ||

Carnielli, Walter, Coniglio, Marcelo Esteban

Year:

2016

Language:

english

File:

PDF, 5.97 MB

english, 2016

18

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms

Carnielli, Walter, Rodrigues, Abilio

Journal:

Logic Journal of IGPL

Year:

2019

File:

PDF, 211 KB

2019

19

[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Paraconsistency and Philosophy of Science: Foundations and Perspectives

Carnielli, Walter, Coniglio, Marcelo Esteban

Year:

2016

Language:

english

File:

PDF, 205 KB

english, 2016

20

[Studies in Computational Intelligence] Model-Based Reasoning in Science and Technology Volume 314 ||

Magnani, Lorenzo, Carnielli, Walter, Pizzi, Claudio

Year:

2010

Language:

english

File:

PDF, 8.35 MB

english, 2010

21

Finite and infinite-valued logics: inference, algebra and geometry

Carnielli, Walter

Journal:

Journal of Applied Non-Classical Logics

Year:

1999

Language:

english

File:

PDF, 275 KB

english, 1999

22

An epistemic approach to paraconsistency: a logic of evidence and truth

Carnielli, Walter, Rodrigues, Abilio

Journal:

Year:

2017

Language:

english

File:

PDF, 611 KB

english, 2017

23

The Single-minded Pursuit of Consistency and its Weakness

Walter Carnielli

Journal:

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

24

[Studies in Computational Intelligence] Model-Based Reasoning in Science and Technology Volume 314 || The Role of Agency Detection in the Invention of Supernatural Beings

Magnani, Lorenzo, Carnielli, Walter, Pizzi, Claudio

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010

25

New Dimensions on Translations Between Logics

Walter A. Carnielli, Marcelo E. Coniglio, Itala M. L. D’Ottaviano

Journal:

Logica Universalis

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

26

The method of polynomial ring calculus and its potentialities

Carnielli, Walter, Matulovic, Mariana

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 805 KB

english, 2015

27

The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics

Walter A. Carnielli

Journal:

Mathematical Logic Quarterly

Year:

1987

Language:

english

File:

PDF, 586 KB

english, 1987

28

[Studies in Computational Intelligence] Model-Based Reasoning in Science and Technology Volume 314 || Consequences of a Diagrammatic Representation of Paul Cohen’s Forcing Technique Based on C.S. Peirce’s Existential Graphs

Magnani, Lorenzo, Carnielli, Walter, Pizzi, Claudio

Year:

2010

Language:

english

File:

PDF, 418 KB

english, 2010

29

[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || A Basic Logic of Formal Inconsistency: mbC

Carnielli, Walter, Coniglio, Marcelo Esteban

Year:

2016

Language:

english

File:

PDF, 393 KB

english, 2016

30

The Significance of the New Logic || Notes

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 79 KB

2018

31

The Significance of the New Logic || Index

Quine, Willard Van Orman, Carnielli, Walter, Janssen-Lauret, Frederique, Pickering, William

Year:

2018

File:

PDF, 74 KB

2018

32

A Paraconsistent Decagon

João Marcos, Diderik Batens, Walter Carnielli

Journal:

Journal of Applied Logic

Year:

2005

Language:

english

File:

PDF, 65 KB

english, 2005

33

[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || First-Order LFIs

Carnielli, Walter, Coniglio, Marcelo Esteban

Year:

2016

Language:

english

File:

PDF, 496 KB

english, 2016

34

Festschrift in Honor of Newton C. A. Da Costa on the Occasion of His Seventieth Birthday || The Dialogical Approach to Paraconsistency

Shahid Rahman and Walter A. Carnielli

Journal:

Year:

2000

Language:

english

File:

PDF, 2.69 MB

english, 2000

35

Volume II: New advances in Logics of Formal Inconsistency

Alejandro Barrio, Eduardo, Carnielli, Walter

Journal:

Logic Journal of IGPL

Year:

2019

File:

PDF, 185 KB

2019

36

POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

AGUDELO, JUAN C., CARNIELLI, WALTER

Journal:

The Review of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 152 KB

english, 2011

37

The Dialogical Approach to Paraconsistency

Sahid Rahman, Walter A Carnielli

Journal:

Year:

2000

Language:

english

File:

PDF, 196 KB

english, 2000

38

SPIE Proceedings [SPIE Medical Imaging '99 - San Diego, CA (Saturday 20 February 1999)] Medical Imaging 1999: Image Processing - Fuzzy fusion of results of medical image segmentation

Guliato, Denise, Rangayyan, Rangaraj M., Carnielli, Walter A., Zuffo, Joao A., Desautels, J. E. Leo, Hanson, Kenneth M.

Year:

1999

Language:

english

File:

PDF, 891 KB

english, 1999

39

Razão e irracionalidade na representação do conhecimento

Carnielli, Walter A, Marques, Mamede Lima

Journal:

Trans/Form/Ação

Year:

1991

File:

PDF, 3.42 MB

1991

40

Some results on polarized partion relations of higher dimension

Walter Alexandre Carnielli, Carlos Augusto Di Prisco

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 539 KB

english, 1993

41

Modulated Fibring and the Collapsing Problem

Cristina Sernadas, João Rasga and Walter A. Carnielli

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 3.17 MB

english, 2002

42

[IEEE 2014 IEEE 10th International Conference on e-Science (e-Science) - Sao Paulo, Brazil (2014.10.20-2014.10.24)] 2014 IEEE 10th International Conference on e-Science - e-Reasoning: Between Digital Humanities and  e-science

Bueno-Soler, Juliana, Carnielli, Walter

Year:

2014

Language:

english

File:

PDF, 128 KB

english, 2014

43

Book Review: Yves Nievergelt,Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36

Walter A. Carnielli

Journal:

Year:

2004

Language:

english

File:

PDF, 105 KB

english, 2004

44

XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011)

Walter Carnielli, Renata de Freitas and Petrucio Viana

Journal:

Bulletin of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 297 KB

english, 2012

45

[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || LFIs Based on Other Logics

Carnielli, Walter, Coniglio, Marcelo Esteban

Year:

2016

Language:

english

File:

PDF, 827 KB

english, 2016

46

Modulated fibring and the collapsing problem

Sernadas, Cristina, Rasga, João, Carnielli, Walter A.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.74 MB

english, 2002

47

Limits for Paraconsistent Calculi

Carnielli, Walter A., Marcos, João

Journal:

Notre Dame Journal of Formal Logic

Year:

1999

Language:

english

File:

PDF, 168 KB

english, 1999

48

Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem

Bueno-Soler, Juliana, Carnielli, Walter

Journal:

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

49

Measuring evidence: a probabilistic approach to an extension of BelnapâDunn logic

Rodrigues, Abilio, Bueno-Soler, Juliana, Carnielli, Walter

Journal:

Year:

2020

File:

PDF, 604 KB

2020

50

The Legacy of Newton da Costa || The Single-minded Pursuit of Consistency and its Weakness

Walter Carnielli

Journal:

Year:

2011

Language:

english

File:

PDF, 1.48 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски